#include <stdio.h>

int main(int argc, char *argv[]) {

    int money, years;

    scanf("%d %d", &money, &years);

    for (size_t i = 0; i < years; i++)
    {
        money = money*2;
    }

    printf("%d", money);
    
    return 0;
}